common type system